Systematic design of program transformation frameworks by abstract interpretation

Abstract Interpretation Frameworks

Interpretation Frameworks Patrick Cousot LIENS, École Normale Supérieure 45, rue d’Ulm 75230 Paris cedex 05 (France) [email protected] Radhia Cousot LIX, École Polytechnique 91128 Palaiseau cedex (France) [email protected]

Program Specialisation and Abstract Interpretation Reconciled Program Specialisation and Abstract Interpretation Reconciled Program Specialisation and Abstract Interpretation Reconciled

We clarify the relationship between abstract interpretation and program spe-cialisation in the context of logic programming. We present a generic top-down abstract specialisation framework, along with a generic correctness result, into which a lot of the existing specialisation techniques can be cast. The framework also shows how these techniques can be further improved by moving to more re-ned...

Superlinear Speedup by Program Transformation (Extended Abstract)

Analysis of disassembled executable codes by abstract interpretation

The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...

Abstract Interpretation Based Program Testing

Interpretation Based Program Testing